ecl-base-tuple(k; test)
== <
== , cons(k; [])
== , ff
== , k',s,v,x. bor(band(eq_knd(k'; k); (test(s,v))); x)
== , n,x. band(x; (n = 0))
== , n,k',s,v,x. ff
== , []> 

latex

Definitions	, bor(p; q), eq_knd(a; b), band(p; q), (i = j), ff
FDL editor aliases	ecl-base-tuple